An Example Proof Using Identities Of Regular Expressions